SAS Criterion of congruent triangles